1. .....................
پدیدآورنده : ]edited by Jerome Fox[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computer - Congresses,Machine theory - Congresses
رده :
TK
7885
.
S9
1971
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. <A> Half-Century of Automata Theory
پدیدآورنده : \ editors, A. Salomaa, D. Wood, S. Yu.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra,جبر, -- Congresses, -- کنگرهها,a04,a04,Machine theory -- Congresses.,نظریه ماشین -- کنگره ها
رده :
E-Book
,
![](/design/images/bookmore.png)
3. A text book of Theory of Machines
پدیدآورنده : R.K Bansal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Machine theory, Congresses
رده :
621
,.
8
,
B36
,
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Abstract State Machines, Alloy, B, TLA, VDM, and Z
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine learning -- Congresses,Machine theory -- Congresses,Machine learning,فراگیری ماشینی -- کنگرهها,نظریه ماشین -- کنگرهها,فراگیری ماشینی
رده :
E-Book
,
![](/design/images/bookmore.png)
5. Abstract state machines 2003 :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ;
![](/design/images/bookmore.png)
6. Abstract state machines :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ;
![](/design/images/bookmore.png)
7. Abstract state machines, B and Z
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
![](/design/images/bookmore.png)
8. Abstract state machines, alloy, B and Z
پدیدآورنده : / Marc Frappier ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
پدیدآورنده : Marc Frappier ... ]et al.[ )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Advances in Petri nets 1985
پدیدآورنده : edited by G. Rozenberg
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
267
.
A342
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Advances in Petri nets : APN
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Petri nets--Congresses,، Machine theory--Congresses
رده :
QA
267
.
A342
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Advances in Petri nets : APN 1985
پدیدآورنده : edited by G. Rozenberg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L4
v
.
222
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Advances in learning theory: methods, models, and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computational learning theory,Congresses ، Machine learning-- Mathematical models
رده :
Q
325
.
7
.
N37
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Algorithmic foundations of robotics
پدیدآورنده : / David Hsu... [et al.] (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Robotics, Congresses,Algorithms, Congresses,Machine theory, Congresses,Electronic books., local
![](/design/images/bookmore.png)
15. Annual Symposium on Foundations of Computer Science ]papers[
پدیدآورنده : Symposium on Foundations of Computer Science
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Switching theory-- Congresses,، Machine theory-- Congresses,، Electronic data processing-- Congresses
رده :
QA
268
.
5
.
S9a
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Automata, Languages and programming, 16th international colloquium, Stressa, Italy, July 1989 proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
A9228
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Automata implementation :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ;
![](/design/images/bookmore.png)
18. Automata implementation: Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997: revised papers
پدیدآورنده : Derick Wood, Sheng Yu, ]eds.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Machine theory
رده :
QA
267
.
I5787
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers
پدیدآورنده : Oliver Boldt, Helmut Jurgensen )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
267
.
I5787
1999
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. Automata, language and programming; seventh Colloquium Noordwijkerhout, The Netherlands July 14-18, 1980
پدیدآورنده : edited by J. W. de Bakker and J. van Leeuwen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
85
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)